<component name="libraryTable">
  <library name="lib">
    <CLASSES>
      <root url="jar://$PROJECT_DIR$/lib/jgrapht-io-1.3.0.jar!/" />
      <root url="jar://$PROJECT_DIR$/lib/jgrapht-core-1.3.0.jar!/" />
      <root url="jar://$PROJECT_DIR$/lib/org.sat4j.core.jar!/" />
    </CLASSES>
    <JAVADOC />
    <SOURCES />
  </library>
</component>